Sun Microsystems - PDFSEARCH.IO - Document Search Engine

Sun Microsystems
Results: 733

#	Item
481	IODINE: A Tool to Automatically Infer Dynamic Invariants for Hardware Designs Sudheendra Hangal Sun Microsystems, Bangalore, India Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2005-06-09 03:48:56 Daikon Software testing Invariant Emmy Noether Programming paradigms Software engineering Mathematics Computing
482	Completely Verifying Memory Consistency of Test Program Executions Chaiyasit Manovit Sun Microsystems / Stanford University, CA, USA [removed] Abstract An important means of validating the design of Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2006-06-04 09:30:18 Computer memory Algorithm Mathematical logic Theoretical computer science Cycle detection Parallel computing Stack Memory barrier Topological sorting Computing Mathematics Concurrent computing
483	M a n a g i n g K n o w l e d g e E c o s y s t e m s Add to Reading List Source URL: www.arnoldit.com Language: English - Date: 2008-08-27 16:02:33 Internet privacy Distributed data storage Integrated development environments Intranet JXTA Oracle Corporation Microsoft Windows XP Sun Microsystems Computing Software Computer networks
484	Computing Services and Systems Development Information technology has become an integral part of the academic and research missions of the University of Pittsburgh. Universal computing, networked information, online coll Add to Reading List Source URL: www.ir.pitt.edu Language: English - Date: 2010-11-02 09:35:47 Customer experience management Help desk Operating system Application software Sun Microsystems Unix X Window System Email Computing Software System software
485	Oracle Java SE Advanced for ISVs Add to Reading List Source URL: www.oracle.com Language: English Java platform Java programming language Computing platforms Sun Microsystems Java Oracle Database Oracle Fusion Middleware Oracle Corporation WebObjects Computing Software Cross-platform software
486	SPARCclassic/SPARCclassic X/ SPARCstation LX Service Manual A Sun Microsystems, Inc. Business 901 San Antonio Road Add to Reading List Source URL: www.obsolyte.com Language: English - Date: 2000-01-06 19:03:33 Computer buses SPARCstation SCSI connector SBus SCSI Sun Microsystems SPARCstation 20 SPARCstation 5 Computer hardware SPARCstation LX SPARCclassic
487	Efficient Algorithms for Verifying Memory Consistency Chaiyasit Manovit Sudheendra Hangal Sun Microsystems Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2005-07-12 03:12:48 Computer architecture Algorithm Mathematical logic Theoretical computer science Linearizability Memory barrier Parallel computing Memory ordering Distributed computing Computing Mathematics Computer memory
488	Eric M. Stone Eric M. Stone Eric M. Stone 2045 Amwell Road, Somerset, NJ[removed][removed]removed]_ _www.wyzaerd.com_ Add to Reading List Source URL: www.wyzaerd.com Language: English - Date: 2009-05-18 09:25:59 Computing platforms Data management Cross-platform software Network management Local area networks Automounter Sun Microsystems Operating system Cisco Systems Computing Software System software
489	Computing Services and Systems Development Information technology has become an integral part of the academic and research missions of the University of Pittsburgh. Universal computing, networked information, online coll Add to Reading List Source URL: www.ir.pitt.edu Language: English - Date: 2010-11-02 09:35:50 Customer experience management Help desk Operating system Sun Microsystems Application software Internet X Window System Microsoft Email Computing Software Technology
490	Christian Jansen , September 2001, Sun Microsystems ContentContent _Introduction_ 2 _Layout_ 2 _Size_ 2 Add to Reading List Source URL: www.openoffice.org Language: English - Date: 2014-04-19 19:39:50 Tooltip Dialog box GUI widget Toolbar Computer icon Mac OS X Tiger Google Toolbar Taskbar Software System software Graphical user interface elements

UPDATE